type A = (B) & C
